Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
801	IS ABSTRACTION THE KEY TO COMPUTING? Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it possible to improve these skills thr Add to Reading List Source URL: www.apluscollegeready.org Language: English - Date: 2014-02-24 12:43:46 Cognition Computing Abstraction Data management Model checking Concept Abstract interpretation Software engineering Computer science Programming paradigms Thought Mind
802	Expanded graphical models: Inference, Model comparison, Model checking, Fake-data debugging, and Model understanding Andrew Gelman Dept of Statistics and Dept of Political Science, Columbia University, New York Add to Reading List Source URL: www.stat.columbia.edu Language: English - Date: 2011-07-29 11:37:52 Statistical models Andrew Gelman Economic model Scientific modelling Graphical model Conceptual model Gelman Modeling language Statistics Ethology Philosophy of mind
803	Handbook 133, Checking the Net Contents of Packaged Goods[removed]Appendix C. Model Inspection Report Forms Appendix C. Model Inspection Report Forms XE "Forms" XE "Model Inspection Forms" \t "See Forms" Add to Reading List Source URL: www.nist.gov Language: English - Date: 2011-05-03 17:39:08 Packaging and labeling Technology Business Matter Industrial engineering Mass Tare weight
804	Contact Information: Department of Mathematics and Statistics Auburn University 310 Parker Hall, Auburn, AL[removed]Minimum distance regression model checking Add to Reading List Source URL: srcos2014.blogs.rice.edu Language: English - Date: 2014-07-29 11:44:52 Statistical models Actuarial science Regression analysis Parametric model Normal distribution Statistics Econometrics Statistical theory
805	Automated Verification of UMLsec Models for Security Requirements Jan J¨ urjens? and Pasha Shabalin Software & Systems Engineering, TU Munich, Germany http://www4.in.tum.de/˜juerjens, http://www4.in.tum.de/˜shabalin Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Software Systems Modeling Language UML diagrams Knowledge representation XML Metadata Interchange Stereotype Diagram Class diagram Model checking Unified Modeling Language ISO standards Data modeling
806	FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS ´ KOUSHA ETESSAMI, RAJEEV ALUR, MARCELO ARENAS, PABLO BARCELO, NEIL IMMERMAN, AND LEONID LIBKIN Department of Computer and Information Science, University of Pennsylvania Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:03 Nested word Words Temporal logic Nesting Stack Mathematical logic Model checking Scope FO Theoretical computer science Automata theory Software engineering
807	Transition Invariants Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f¨ur Informatik Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Equivalence relation Model checking Temporal logic Invariant Termination analysis Mathematical proof Formal verification Mathematics Theoretical computer science Applied mathematics
808	Checking Finite Traces using Alternating Automata ∗ Bernd Finkbeiner and Henny Sipma Computer Science Department, Stanford University Stanford, CA[removed]Abstract. Alternating automata have been commonly used as a basi Add to Reading List Source URL: www.verisoft.de Language: English - Date: 2013-04-11 05:48:57 Logic Model theory Theoretical computer science Linear temporal logic Temporal logic Ω-automaton Model checking Interpretation Structure Automata theory Formal languages Mathematics
809	VERIMAG A LEADING RESEARCH CENTRE IN EMBEDDED SYSTEMS since 1992 VERIMAG Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-06 03:52:13 Esterel Technologies Electronic engineering Joseph Sifakis Lustre Computing Wireless sensor network Technology Model checking Formal methods Hardware description languages Synchronous programming languages
810	Multi-Valued Symbolic Model-Checking MARSHA CHECHIK, BENET DEVEREUX, STEVE EASTERBROOK AND ARIE GURFINKEL University of Toronto This paper introduces the concept of multi-valued model-checking and describes a multi-valu Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2003-07-30 17:15:50 Algebraic logic Algebraic structures Non-classical logic Boolean algebra Abstract algebra Heyting algebra Model theory Modal logic Many-valued logic Mathematical logic Logic Mathematics

UPDATE